Embedded Systems

Automatisierte Testumgebung für RT-Schaltungen auf Basis einer neuartigen Fehlerinjektionsbibliothek für FPGAs

As­signed to E. Kapler.

Stu­di­en­ar­beit

Ab­stract

In dieser Ar­beit ist eine au­toma­tisierte Tes­tumge­bung für RT-Schal­tun­gen er­stellt wor­den. Diese Tes­tumge­bung ver­wen­det eine neuar­tige Fehler­in­jek­tions­bib­lio­thek, die Sta­tic Map­ping Li­brary (StML). Je Möglichkeit einen Fehler in die Schal­tung zu in­jizieren wird jew­eils ein Fehler in­jiziert und an­schließend getestet. Auf­grund der der Beschaf­fen­heit der RT-Schal­tung wird eine Verbesserung der Fehler­stel­lenauswahl vorgestellt. Fehler­in­jizierte Schal­tun­gen wer­den auf einem Field Pro­gram­ma­ble Gate Array (FPGA) zur Ausführung ge­bracht, d. h. emuliert. Eine ein­heitliche Tes­tumge­bung wird dadurch er­re­icht, dass ein Sys­tem on Chip (SoC) einge­setzt, dessen Bus zum einen für die An­bindung der RT-Schal­tung dient und zum an­deren die Kom­mu­nika­tion mit einem Steuer­rech­ner nutzt. Die Analyse wird durch die vollständige Stim­u­la­tion der Testschal­tung durchgeführt und in er­weit­erten Wahrheit­sta­bellen aus­gew­ertet. Es wird das Ergeb­nis der stim­ulierten, fehler­freien RT-Schal­tung mit den Ergeb­nis­sen der stim­ulierten, einzeln fehler­in­jizierten RT-Schal­tun­gen miteinan­der ver­glichen. Es können Aus­sagen über die Auswirkung eines in­jizierten Fehlers getrof­fen wer­den. Zum Schluss wird die Skalier­barkeit der au­toma­tisierten Tes­tumge­bung gemessen und disku­tiert.

Con­tact

Bring­mann, Oliver

Pe­ter­son, Dustin